Dezani-Ciancaglini, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || A simplification of Girard's paradox

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 679 KB

english, 1995

2

Intersection types for combinatory logic

Mariangiola Dezani-Ciancaglini, J.Roger Hindley

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.16 MB

english, 1992

3

Intersection types and domain operators

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 338 KB

english, 2004

4

Compositional characterisations of -terms using intersection types

M. Dezani-Ciancaglini, F. Honsell, Y. Motohama

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 594 KB

english, 2005

5

Intersection types and lambda models

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 352 KB

english, 2006

6

Amalgamating sessions and methods in object-oriented languages with generics

Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 3.16 MB

english, 2009

7

Intersection types for λ-trees

Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 298 KB

english, 2002

8

Infinitary lambda calculus and discrimination of Berarducci trees

Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 332 KB

english, 2003

9

Intersection Types and Computational Rules

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 456 KB

english, 2003

10

A data structure formalization through generating functions

Corrado Böhm, M. Dezani-Ciancaglini

Journal:

Year:

1974

Language:

english

File:

PDF, 760 KB

english, 1974

11

A complete characterization of complete intersection-type preorders

Dezani-Ciancaglini, M., Honsell, F., Alessi, F.

Journal:

ACM Transactions on Computational Logic

Year:

2003

Language:

english

File:

PDF, 236 KB

english, 2003

12

Combining behavioural types with security analysis

Bartoletti, Massimo, Castellani, Ilaria, Deniélou, Pierre-Malo, Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Pantovic, Jovanka, Pérez, Jorge A., Thiemann, Peter, Toninho, Bernardo, Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

13

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || Extensions of pure type systems

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 797 KB

english, 1995

14

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || βη-Equality for coproducts

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 859 KB

english, 1995

15

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || Typed operational semantics

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 781 KB

english, 1995

16

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 372 || An optimal probabilistic algorithm for synchronous Byzantine agreement

Ausiello, Giorgio, Dezani-Ciancaglini, Mariangiola, Della Rocca, Simonetta Ronchi

Year:

1989

Language:

english

File:

PDF, 2.49 MB

english, 1989

17

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 372 || Syntactic control of interference Part 2

Ausiello, Giorgio, Dezani-Ciancaglini, Mariangiola, Della Rocca, Simonetta Ronchi

Year:

1989

Language:

english

File:

PDF, 963 KB

english, 1989

18

Preface

DEZANI-CIANCAGLINI, MARIANGIOLA, LONGO, GIUSEPPE, SELDIN, JONATHAN P.

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 52 KB

english, 1999

19

Data-driven adaptation for smart sessions

Bono, Viviana, Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 920 KB

english, 2017

20

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || Third-order matching in the presence of type constructors

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 959 KB

english, 1995

21

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 372 || Polymorphic rewriting conserves algebraic strong normalization and confluence

Ausiello, Giorgio, Dezani-Ciancaglini, Mariangiola, Della Rocca, Simonetta Ronchi

Year:

1989

Language:

english

File:

PDF, 947 KB

english, 1989

22

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 372 || Programming, transforming, and proving with function abstractions and memories

Ausiello, Giorgio, Dezani-Ciancaglini, Mariangiola, Della Rocca, Simonetta Ronchi

Year:

1989

Language:

english

File:

PDF, 1.01 MB

english, 1989

23

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || A realization of the negative interpretation of the Axiom of Choice

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 790 KB

english, 1995

24

Composition and decomposition of multiparty sessions

Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, Tuosto, Emilio

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 807 KB

2021

25

Functional Characters of Solvable Terms

M. Coppo, M. Dezani-Ciancaglini, B. Venneri

Journal:

Mathematical Logic Quarterly

Year:

1981

Language:

english

File:

PDF, 851 KB

english, 1981

26

Combining type disciplines

Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 2.22 MB

english, 1994

27

Characterization of normal forms possessing inverse in the λ-β-η-calculus

Mariangiola Dezani-Ciancaglini

Journal:

Theoretical Computer Science

Year:

1976

Language:

english

File:

PDF, 1.74 MB

english, 1976

28

A discrimination algorithm inside λ-β-calculus

C. Böhm, M. Dezani-Ciancaglini, P. Peretti, S.Ronchi Della Rocca

Journal:

Theoretical Computer Science

Year:

1979

Language:

english

File:

PDF, 2.05 MB

english, 1979

29

Preface

Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 38 KB

english, 1991

30

Preface

Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi della Rocca

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 43 KB

english, 1991

31

Preface

Mariangioli Dezani-Ciancaglini, Simona Ronchi dela Rocca, Marisa Venturini-Zilli

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 98 KB

english, 1993

32

Behavioural inverse limit λ-models

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 399 KB

english, 2004

33

Space-aware ambients and processes

Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 549 KB

english, 2007

34

Preface

Mariangiola Dezani-Ciancaglini, Mitsu Okada, Masako Takahashi

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 37 KB

english, 2002

35

Filter models for conjunctive-disjunctive λ-calculi

Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 2.57 MB

english, 1996

36

Infinite λ-calculus and types

Alessandro Berarducci, Mariangiola Dezani-Ciancaglini

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 3.19 MB

english, 1999

37

A Fully Abstract Model for Mobile Ambients

M. Coppo, M. Dezani-Ciancaglini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 136 KB

english, 2002

38

Böhm's Theorem for Berarducci Trees

Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 1.33 MB

2000

39

A new type assignment for λ-terms

M. Coppo, M. Dezani-Ciancaglini

Journal:

Archive for Mathematical Logic

Year:

1978

Language:

english

File:

PDF, 973 KB

english, 1978

40

Reduction of storage employed to represent families of information structures

M. Dezani-Ciancaglini, S. Ronchi Della Rocca

Journal:

Year:

1977

Language:

english

File:

PDF, 1.36 MB

english, 1977

41

A characterization of F-complete type assignments

Mariangiola Dezani-Ciancaglini, Ines Margaria

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 1.88 MB

english, 1986

42

Type Preorders and Recursive Terms

Fabio Alessi, Mariangiola Dezani-Ciancaglini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 338 KB

english, 2005

43

A Behavioural Model for Klop's Calculus

Mariangiola Dezani-Ciancaglini, Makoto Tatsuta

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 332 KB

english, 2007

44

Type Disciplines for Analysing Biologically Relevant Properties

Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 342 KB

english, 2009

45

Security types for dynamic web data

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantović, Daniele Varacca

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 462 KB

english, 2008

46

From Böhm's Theorem to Observational Equivalences: an Informal Account

Mariangiola Dezani-Ciancaglini, Elio Giovannetti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 472 KB

english, 2001

47

A Type Inference Algorithm for Secure Ambients

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 215 KB

english, 2002

48

The Relevance of Semantic Subtyping

Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 217 KB

english, 2003

49

Can Addresses be Types?: A case study: objects with delegation

Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 210 KB

english, 2003

50

M3: Mobility Types for Mobile Processes in Mobile Ambients

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 367 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски